Model Checking (Cyber Physical Systems Series)
by Edmund M. Clark Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith
ISBN 13: 9780262038836
Format: Hardcover (424 pages) Publisher: MIT Press Published: 21 Dec 2018
Save for later